Strategic interpretations

Approximate Interpretations of Number Words: A Case for Strategic Communication

A pragmatic theory of the approximate vs. precise interpretation of round number words such as one hundred vs. ninety-seven is developed that improves on the previous account of Krifka (2002) insofar as it does not postulate a general bias for approximate interpretations. It is shown that under a speaker preference for number expressions that are short and/or refer to cognitively salient values...

The Strategic Substitution Effect: Textual Plausibility, Procedural Formality, and Judicial Review of Agency Statutory Interpretations

Reportrapport Declarative Interpretations Reconsidered Declarative Interpretations Reconsidered

Three semantics have been proposed as the most promising candidates for a declarative interpretation for logic programs and pure Prolog programs: the least Herbrand model, the least term model, i.e. the C-semantics, and the S-semantics. Previous results show that a strictly increasing information ordering between these semantics exists for the class of all programs. In particular, the S-semanti...

Monotone interpretations

The domain of computation of an program 〈X , C,F ,R〉 is the constructor algebra T (C). A substitution σ is a mapping from variables to terms and a ground substitution is one which ranges over constructor terms of T (C). Observe that constructor terms are normal forms for the program. For each function symbol f ∈ F , the program 〈X , C,F ,R〉 computes a partial function JfK : T (C) → T (C) define...

Proof Interpretations and Majorizability

In the last fifteen years, the traditional proof interpretations of modified realizability and functional (dialectica) interpretation in finite-type arithmetic have been adapted by taking into account majorizability considerations. One of such adaptations, the monotone functional interpretation of Ulrich Kohlenbach, has been at the center of a vigorous program in applied proof theory dubbed pro...